#include<stdio.h>
int main()
{
    char a[1000]={0};
    double w,p;
    double sum=0.0;
    while( scanf("%*s%lf%lf", &w,&p) != EOF )
    {
      sum=sum+w*p;
    }
    printf("%.1f",sum);
    return 0;
}